Seceleanu, T.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 10471 || Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications

Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana

Year:

2017

Language:

english

File:

PDF, 701 KB

english, 2017

2

[IEEE Factory Automation (ETFA 2010) - Bilbao (2010.09.13-2010.09.16)] 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - Integrating wireless systems into process industry and business management

Ciccozzi, F, Cicchetti, A, Delsing, J, Seceleanu, T, Åkerberg, J, Carlsson, L E

Year:

2010

Language:

english

File:

PDF, 1.74 MB

english, 2010

3

Resurgences for ideals of special point configurations in

Dumnicki, M., Harbourne, B., Nagel, U., Seceleanu, A., Szemberg, T., Tutaj-Gasińska, H.

Journal:

Journal of Algebra

Year:

2015

Language:

english

File:

PDF, 361 KB

english, 2015

4

[IEEE 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Limassol, Cyprus (2016.8.31-2016.9.2)] 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis

Marinescu, Raluca, Mubeen, Saad, Seceleanu, Cristina

Year:

2016

Language:

english

File:

PDF, 499 KB

english, 2016

5

[IEEE 2011 11th International Conference on Quality Software (QSIC) - Madrid, Spain (2011.07.13-2011.07.14)] 2011 11th International Conference on Quality Software - Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator

Vulgarakis, Aneta, Seceleanu, Cristina, Pettersson, Paul, Skuliber, Ivan, Huljenic, Darko

Year:

2011

Language:

english

File:

PDF, 1018 KB

english, 2011

6

[IEEE 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Tokyo, Japan (2018.7.23-2018.7.27)] 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Measurement-Based Evaluation of Data-Parallelism for OpenCV Feature-Detection Algorithms

Danielsson, Jakob, Jagemar, Marcus, Behnam, Moris, Sjodin, Mikael, Seceleanu, Tiberiu

Year:

2018

Language:

english

File:

PDF, 959 KB

english, 2018

7

Service based communication for MPSoC platform-SegBus

Khalid Latif, Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen

Journal:

Microprocessors and Microsystems

Year:

2011

Language:

english

File:

PDF, 1.14 MB

english, 2011

8

Multiple structures with arbitrarily large projective dimension supported on linear subspaces

Huneke, Craig, Mantero, Paolo, McCullough, Jason, Seceleanu, Alexandra

Journal:

Journal of Algebra

Year:

2016

Language:

english

File:

PDF, 467 KB

english, 2016

9

The projective dimension of codimension two algebras presented by quadrics

Huneke, Craig, Mantero, Paolo, McCullough, Jason, Seceleanu, Alexandra

Journal:

Journal of Algebra

Year:

2013

Language:

english

File:

PDF, 305 KB

english, 2013

10

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 10471 || Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms

Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana

Year:

2017

Language:

english

File:

PDF, 616 KB

english, 2017

11

Implementation of a self-timed segmented bus

Plosila, J., Seceleanu, T., Liljeberg, P.

Journal:

IEEE Design & Test of Computers

Year:

2003

Language:

english

File:

PDF, 257 KB

english, 2003

12

[IEEE 2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Montpellier, France (2015.7.8-2015.7.10)] 2015 IEEE Computer Society Annual Symposium on VLSI - Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL

Marinescu, Raluca, Enoiu, Eduard Paul, Seceleanu, Cristina

Year:

2015

Language:

english

File:

PDF, 627 KB

english, 2015

13

Inverse systems, Gelfand-Tsetlin patterns and the weak Lefschetz property

Harbourne, B., Schenck, H., Seceleanu, A.

Journal:

Journal of the London Mathematical Society

Year:

2011

Language:

english

File:

PDF, 287 KB

english, 2011

14

Cyclicity of Vectors with Orbital Limit Points for Backward Shifts

Chan, Kit, Seceleanu, Irina

Journal:

Integral Equations and Operator Theory

Year:

2014

Language:

english

File:

PDF, 219 KB

english, 2014

15

Foreword

Seceleanu, Cristina, Pettersson, Paul

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 119 KB

english, 2015

16

Ordinary and symbolic Rees algebras for ideals of Fermat point configurations

Nagel, Uwe, Seceleanu, Alexandra

Journal:

Journal of Algebra

Year:

2016

Language:

english

File:

PDF, 431 KB

english, 2016

17

[IEEE 2018 25th Asia-Pacific Software Engineering Conference (APSEC) - Nara, Japan (2018.12.4-2018.12.7)] 2018 25th Asia-Pacific Software Engineering Conference (APSEC) - Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications

Mahmud, Nesredin, Rodriguez-Navas, Guillermo, Faragardi, Hamid, Mubeen, Saad, Seceleanu, Cristina

Year:

2018

Language:

english

File:

PDF, 453 KB

english, 2018

18

On applying multiple criteria decision analysis in embedded systems design

Sapienza, Gaetana, Brestovac, Goran, Grgurina, Robi, Seceleanu, Tiberiu

Journal:

Design Automation for Embedded Systems

Year:

2016

Language:

english

File:

PDF, 2.92 MB

english, 2016

19

A generalized nonlinear mixed-effects heightâdiameter model for Norway spruce in mixed-uneven aged stands

Ciceu, Albert, Garcia-Duro, Juan, Seceleanu, Ioan, Badea, Ovidiu

Journal:

Forest Ecology and Management

Year:

2020

File:

PDF, 2.08 MB

2020

20

Automated SMT-based consistency checking of industrial critical requirements

Filipovikj, Predrag, Rodriguez-Navas, Guillermo, Nyberg, Mattias, Seceleanu, Cristina

Journal:

ACM SIGAPP Applied Computing Review

Year:

2018

Language:

english

File:

PDF, 946 KB

english, 2018

21

Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations

Enoiu, Eduard Paul, Seceleanu, Cristina

Journal:

Year:

2020

File:

PDF, 939 KB

2020

22

Ideals with larger projective dimension and regularity

Jesse Beder, Jason McCullough, Luis Núñez-Betancourt, Alexandra Seceleanu, Bart Snapp, Branden Stone

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

23

[IEEE 2010 IEEE International SOC Conference (SOCC) - Las Vegas, NV, USA (2010.09.27-2010.09.29)] 23rd IEEE International SOC Conference - An automated control code generation approach for the SegBus platform

Niazi, Moazzam Fareed, Seceleanu, Tiberiu, Tenhunen, Hannu

Year:

2010

Language:

english

File:

PDF, 1.87 MB

english, 2010

24

[IEEE 2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011 - Munich, Germany (2011.07.18-2011.07.22)] 2011 IEEE 35th Annual Computer Software and Applications Conference - Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives -- Panel Introduction

Seceleanu, Cristina

Year:

2011

Language:

english

File:

PDF, 223 KB

english, 2011

25

[IEEE 13th Annual IEEE International ASIC/SOC Conference - Arlington, VA, USA (13-16 Sept. 2000)] Proceedings of 13th Annual IEEE International ASIC/SOC Conference (Cat. No.00TH8541) - Formal representation of gated clock designs

Seceleanu, T., Plosila, J.

Year:

2000

Language:

english

File:

PDF, 434 KB

english, 2000

26

[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability

Causevic, Aida, Pettersson, Paul, Seceleanu, Cristina

Year:

2008

Language:

english

File:

PDF, 189 KB

english, 2008

27

[IEEE 2010 International Conference on Parallel Processing Workshops (ICPPW) - San Diego, CA, USA (2010.09.13-2010.09.16)] 2010 39th International Conference on Parallel Processing Workshops - A Performance Estimation Technique for the SegBus Distributed Architecture

Niazi, Moazzam Fareed, Seceleanu, Tiberiu, Tenhunen, Hannu

Year:

2010

Language:

english

File:

PDF, 774 KB

english, 2010

28

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - REMES: A Resource Model for Embedded Systems

Seceleanu, Cristina, Vulgarakis, Aneta, Pettersson, Paul

Year:

2009

Language:

english

File:

PDF, 618 KB

english, 2009

29

Sourcing the News: Comparing Source Use and Media Framing of the 2009 European Parliamentary Elections

Strömbäck, Jesper, Negrine, Ralph, Hopmann, David Nicolas, Jalali, Carlos, Berganza, Rosa, Seeber, Gilg U. H., Seceleanu, Andra, Volek, Jaromir, Dobek-Ostrowska, Boguslawa, Mykkänen, Juri, Belluati, M

Journal:

Journal of Political Marketing

Year:

2013

Language:

english

File:

PDF, 194 KB

english, 2013

30

Developing adaptive systems with synchronized architectures

Tiberiu Seceleanu, David Garlan

Journal:

Journal of Systems and Software

Year:

2006

Language:

english

File:

PDF, 439 KB

english, 2006

31

[IEEE Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Turku, Finland (28-30 June 2006)] Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Communicating with Synchronized Environments

Seceleanu, T., Jantsch, A.

Year:

2006

Language:

english

File:

PDF, 389 KB

english, 2006

32

[IEEE Comput. Soc . Design, Automation and Test in Europe Conference and Exhibition - Paris, France (16-20 Feb. 2004)] Proceedings Design, Automation and Test in Europe Conference and Exhibition - Aspects of formal and graphical design of a bus system

Seceleanu, T., Westerlund, T.

Year:

2004

Language:

english

File:

PDF, 484 KB

english, 2004

33

Analyzing a Pattern-Based Model of a Real-Time Turntable System

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.07 MB

english, 2009

34

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - ABV - A Verifier for the Architecture Analysis and Design Language (AADL)

Björnander, Stefan, Seceleanu, Cristina, Lundqvist, Kristina, Pettersson, Paul

Year:

2011

Language:

english

File:

PDF, 261 KB

english, 2011

35

[IEEE 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Santander, Spain (2013.09.4-2013.09.6)] 2013 39th Euromicro Conference on Software Engineering and Advanced Applications - Embedded Systems Design Flows: Integrating Requirements Authoring and Design Tools

Wolvers, Ronald, Seceleanu, Tiberiu

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

36

A homological criterion for the containment between symbolic and ordinary powers of some ideals of points in

Seceleanu, Alexandra

Journal:

Journal of Pure and Applied Algebra

Year:

2015

Language:

english

File:

PDF, 423 KB

english, 2015

37

Guest editorial foreword

Seceleanu, Cristina, Yoshida, Kenichi

Journal:

Journal of Systems and Software

Year:

2016

Language:

english

File:

PDF, 214 KB

english, 2016

38

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 10471 || CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana

Year:

2017

Language:

english

File:

PDF, 719 KB

english, 2017

39

The Role of Stress in Children with Psoriasis

Manolache, Liana, Petrescu-Seceleanu, Dana, Benea, Vasile

Journal:

Psoriasis Forum

Year:

2012

Language:

english

File:

PDF, 115 KB

english, 2012

40

Co-existence of Euthyroid Graves Ophthalmopathy and Isolated Ocular Myasthenia in a Patient with Vitiligo: A Challenging Diagnosis of Auto-immune Polyglandular Syndrome-3C

Pepene, Carmen, Ilie, Ioana, Seceleanu, Andreea, Gherghel, Dana, Duncea, Ileana

Journal:

Neuro-Ophthalmology

Year:

2009

Language:

english

File:

PDF, 230 KB

english, 2009

41

[IEEE 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - Turin (2017.7.4-2017.7.8)] 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - Message from CORCS-IEESD 2017 Workshop Chairs

Seceleanu, Cristina, Streitferdt, Detlef, Seceleanu, Tiberiu, Nenninger, Philipp

Year:

2017

Language:

english

File:

PDF, 139 KB

english, 2017

42

[IEEE 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Milwaukee, WI, USA (2019.7.15-2019.7.19)] 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Testing Performance-Isolation in Multi-core Systems

Danielsson, Jakob, Seceleanu, Tiberiu, Jagemar, Marcus, Behnam, Moris, Sjodin, Mikael

Year:

2019

Language:

english

File:

PDF, 334 KB

english, 2019

43

[ACM Press the 6th Conference - Bucharest, Romania (2019.09.02-2019.09.03)] Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 - Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments

Salimi, Maghsood, Majd, Amin, Loni, Mohammad, Seceleanu, Tiberiu, Seceleanu, Cristina, Sirjani, Marjan, Daneshtalab, Masoud, Troubitsyna, Elena

Year:

2019

Language:

english

File:

PDF, 2.07 MB

english, 2019

44

Using aridity indices to describe some climate and soil features in Eastern Europe: a Romanian case study

C. Paltineanu, I. F. Mihailescu, I. Seceleanu, C. Dragota, F. Vasenciuc

Journal:

Theoretical and Applied Climatology

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

45

[IEEE 2013 IEEE 7th International Symposium on Service Oriented System Engineering (SOSE 2013) - Redwood City (2013.3.25-2013.3.28)] 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering - An Analyzable Model of Automated Service Negotiation

Cauevic, A., Seceleanu, C., Pettersson, P.

Year:

2013

Language:

english

File:

PDF, 349 KB

english, 2013

46

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers

Latif, Khalid, Seceleanu, Tiberiu, Tenhunen, Hannu

Year:

2010

Language:

english

File:

PDF, 646 KB

english, 2010

47

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 10471 || Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information

Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

48

Negative Curves on Symmetric Blowups of the Projective Plane, Resurgences, and Waldschmidt Constants

Bauer, Thomas, Di Rocco, Sandra, Harbourne, Brian, Huizenga, Jack, Seceleanu, Alexandra, Szemberg, Tomasz

Journal:

International Mathematics Research Notices

Year:

2018

Language:

english

File:

PDF, 749 KB

english, 2018

49

[IEEE IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society - Lisbon, Portugal (2019.10.14-2019.10.17)] IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society - Run-Time Cache-Partition Controller for Multi-Core Systems

Danielsson, Jakob, Jagemar, Marcus, Behnam, Moris, Seceleanu, Tiberiu, Sjodin, Mikael

Year:

2019

File:

PDF, 1.19 MB

2019

50

Calculations involving symbolic powers

Drabkin, Ben, Grifo, EloÃsa, Seceleanu, Alexandra, Stone, Branden

Journal:

Journal of Software for Algebra and Geometry

Year:

2019

File:

PDF, 619 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски